package org.adoxx.pn.simulation.handlers;

import java.util.ArrayList;

import org.adoxx.pn.PetriNet.TR;

public interface TransitionSelectorI {
    public TR chooseTransition(ArrayList<TR> transitionEnabledList) throws Exception;
}
